Section: New Results
Highlights of the Year
Véronique Cortier was one of the two FLoC plenary speakers during the Vienna Summer of Logic [31] .
Steve Kremer and Robert Künnemann got a paper accepted at the 35th IEEE symposium on Security and Privacy [45] .
Best Papers Awards :
[43] SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models in Software Security and Reliability (SERE).E. Fourneret, J. Cantenot, F. Bouquet, B. Legeard, J. Botella.
[47] A Maximum Variance Approach for Graph Anonymization in The 7th International Symposium on Foundations & Practice of Security FPS’2014.
H. H. Nguyen, A. Imine, M. Rusinowitch.